[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 96 46 0 0 0 26 0 37

N.S.

1 1.04 0.50 0.00 0.00 0.00 0.28 0.00 0.40

time (sec)

N/A 0.178 6.455 0.000 0.000 0.000 0.563 0.000 4.594

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 96 49 0 0 0 29 0 40

N.S.

1 1.09 0.56 0.00 0.00 0.00 0.33 0.00 0.45

time (sec)

N/A 0.185 6.914 0.000 0.000 0.000 0.611 0.000 4.838

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

121 126 51 0 0 0 34 0 0

N.S.

1 1.04 0.42 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.202 10.016 0.000 0.000 0.000 0.618 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 156 51 0 0 0 34 0 0

N.S.

1 1.08 0.35 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.224 10.020 0.000 0.000 0.000 0.683 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 137 95 0 0 0 31 0 0

N.S.

1 1.09 0.75 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.212 7.622 0.000 0.000 0.000 0.672 0.000 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 106 64 0 0 0 31 0 0

N.S.

1 1.05 0.63 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.192 6.657 0.000 0.000 0.000 0.627 0.000 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 47 0 0 0 27 0 38

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.35 0.00 0.49

time (sec)

N/A 0.169 6.365 0.000 0.000 0.000 0.578 0.000 4.624

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 50 0 0 0 31 0 41

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.41 0.00 0.54

time (sec)

N/A 0.174 6.844 0.000 0.000 0.000 0.604 0.000 4.829

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 104 52 0 0 0 36 0 0

N.S.

1 1.01 0.50 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.191 10.012 0.000 0.000 0.000 0.630 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 135 52 0 0 0 36 0 0

N.S.

1 1.05 0.41 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.211 10.016 0.000 0.000 0.000 0.691 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 97 47 0 0 0 26 0 37

N.S.

1 1.05 0.51 0.00 0.00 0.00 0.28 0.00 0.40

time (sec)

N/A 0.180 7.032 0.000 0.000 0.000 0.731 0.000 4.545

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

96 101 48 0 0 0 27 0 38

N.S.

1 1.05 0.50 0.00 0.00 0.00 0.28 0.00 0.40

time (sec)

N/A 0.179 7.113 0.000 0.000 0.000 0.664 0.000 4.552

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 118 47 0 0 0 26 0 37

N.S.

1 1.06 0.42 0.00 0.00 0.00 0.23 0.00 0.33

time (sec)

N/A 0.185 7.416 0.000 0.000 0.000 0.791 0.000 4.483

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

96 101 48 0 0 0 27 0 38

N.S.

1 1.05 0.50 0.00 0.00 0.00 0.28 0.00 0.40

time (sec)

N/A 0.175 7.368 0.000 0.000 0.000 0.799 0.000 4.589

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 162 90 0 0 0 27 0 0

N.S.

1 1.11 0.62 0.00 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.219 5.817 0.000 0.000 0.000 0.546 0.000 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 132 79 0 0 0 27 0 0

N.S.

1 1.08 0.65 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.207 5.644 0.000 0.000 0.000 0.494 0.000 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 102 62 0 0 0 27 0 0

N.S.

1 1.04 0.63 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.183 5.481 0.000 0.000 0.000 0.516 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 75 46 0 0 0 24 0 37

N.S.

1 1.06 0.65 0.00 0.00 0.00 0.34 0.00 0.52

time (sec)

N/A 0.163 5.427 0.000 0.000 0.000 0.465 0.000 4.590

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 102 49 0 0 0 27 0 40

N.S.

1 1.10 0.53 0.00 0.00 0.00 0.29 0.00 0.43

time (sec)

N/A 0.184 5.520 0.000 0.000 0.000 0.511 0.000 4.727

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 132 51 0 0 0 32 0 0

N.S.

1 1.06 0.41 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.202 10.010 0.000 0.000 0.000 0.567 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 162 51 0 0 0 32 0 0

N.S.

1 1.09 0.34 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.228 10.015 0.000 0.000 0.000 0.666 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 143 89 0 0 0 29 0 0

N.S.

1 1.11 0.69 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.214 6.148 0.000 0.000 0.000 0.561 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 112 79 0 0 0 29 0 0

N.S.

1 1.08 0.76 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.190 5.736 0.000 0.000 0.000 0.504 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 64 0 0 0 29 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.170 5.399 0.000 0.000 0.000 0.538 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 47 0 0 0 26 0 38

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.45 0.00 0.66

time (sec)

N/A 0.156 5.404 0.000 0.000 0.000 0.471 0.000 4.728

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 50 0 0 0 29 0 41

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.37 0.00 0.52

time (sec)

N/A 0.171 5.534 0.000 0.000 0.000 0.513 0.000 4.900

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

106 110 52 0 0 0 34 0 0

N.S.

1 1.04 0.49 0.00 0.00 0.00 0.32 0.00 0.00

time (sec)

N/A 0.197 10.020 0.000 0.000 0.000 0.603 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 141 52 0 0 0 34 0 0

N.S.

1 1.08 0.40 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.220 10.012 0.000 0.000 0.000 0.676 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 138 90 0 0 0 27 0 0

N.S.

1 1.11 0.73 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.215 6.054 0.000 0.000 0.000 0.547 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 108 78 0 0 0 27 0 0

N.S.

1 1.08 0.78 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.195 6.015 0.000 0.000 0.000 0.564 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 62 0 0 0 27 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.168 5.619 0.000 0.000 0.000 0.487 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 46 0 0 0 24 0 37

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.43 0.00 0.66

time (sec)

N/A 0.156 5.438 0.000 0.000 0.000 0.480 0.000 4.689

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 49 0 0 0 27 0 40

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.36 0.00 0.53

time (sec)

N/A 0.179 6.062 0.000 0.000 0.000 0.600 0.000 4.934

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 106 51 0 0 0 32 0 0

N.S.

1 1.04 0.50 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.192 10.013 0.000 0.000 0.000 0.586 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 136 51 0 0 0 32 0 0

N.S.

1 1.08 0.40 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.209 10.010 0.000 0.000 0.000 0.704 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 143 91 0 0 0 29 0 0

N.S.

1 1.11 0.71 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.218 6.155 0.000 0.000 0.000 0.559 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 112 77 0 0 0 29 0 0

N.S.

1 1.08 0.74 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.197 6.076 0.000 0.000 0.000 0.532 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 64 0 0 0 29 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.173 5.730 0.000 0.000 0.000 0.486 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 47 0 0 0 26 0 38

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.45 0.00 0.66

time (sec)

N/A 0.157 5.642 0.000 0.000 0.000 0.500 0.000 4.755

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 50 0 0 0 29 0 41

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.37 0.00 0.53

time (sec)

N/A 0.173 5.977 0.000 0.000 0.000 0.572 0.000 4.998

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

106 109 52 0 0 0 34 0 0

N.S.

1 1.03 0.49 0.00 0.00 0.00 0.32 0.00 0.00

time (sec)

N/A 0.197 10.020 0.000 0.000 0.000 0.623 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 140 52 0 0 0 34 0 0

N.S.

1 1.07 0.40 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.222 10.014 0.000 0.000 0.000 0.679 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 134 78 0 0 0 27 0 0

N.S.

1 1.08 0.63 0.00 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.215 6.625 0.000 0.000 0.000 0.540 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 104 65 0 0 0 27 0 0

N.S.

1 1.04 0.65 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.196 6.416 0.000 0.000 0.000 0.522 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 53 0 0 0 27 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.169 5.961 0.000 0.000 0.000 0.524 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 55 0 0 0 24 0 37

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.43 0.00 0.66

time (sec)

N/A 0.154 6.079 0.000 0.000 0.000 0.521 0.000 4.711

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 52 0 0 0 27 0 40

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.36 0.00 0.53

time (sec)

N/A 0.170 6.137 0.000 0.000 0.000 0.600 0.000 4.962

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 106 54 0 0 0 32 0 0

N.S.

1 1.04 0.53 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.191 10.012 0.000 0.000 0.000 0.679 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 136 54 0 0 0 32 0 0

N.S.

1 1.08 0.43 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.216 10.012 0.000 0.000 0.000 0.783 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 138 78 0 0 0 29 0 0

N.S.

1 1.11 0.63 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.220 6.498 0.000 0.000 0.000 0.579 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 107 66 0 0 0 29 0 0

N.S.

1 1.06 0.65 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.199 6.371 0.000 0.000 0.000 0.549 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 56 0 0 0 29 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.176 5.913 0.000 0.000 0.000 0.539 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 56 0 0 0 26 0 38

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.34 0.00 0.49

time (sec)

N/A 0.170 5.821 0.000 0.000 0.000 0.529 0.000 4.722

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 105 53 0 0 0 29 0 41

N.S.

1 1.06 0.54 0.00 0.00 0.00 0.29 0.00 0.41

time (sec)

N/A 0.194 6.196 0.000 0.000 0.000 0.636 0.000 4.938

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 136 55 0 0 0 34 0 0

N.S.

1 1.08 0.44 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.212 10.015 0.000 0.000 0.000 0.681 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 167 55 0 0 0 34 0 0

N.S.

1 1.11 0.36 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.240 10.017 0.000 0.000 0.000 0.771 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 55 0 0 0 24 0 37

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.31 0.00 0.47

time (sec)

N/A 0.169 6.623 0.000 0.000 0.000 0.627 0.000 4.669

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 72 0 0 0 24 0 37

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.31 0.00 0.47

time (sec)

N/A 0.167 7.099 0.000 0.000 0.000 0.767 0.000 4.617

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 105 75 0 0 0 24 0 37

N.S.

1 1.08 0.77 0.00 0.00 0.00 0.25 0.00 0.38

time (sec)

N/A 0.181 7.339 0.000 0.000 0.000 1.046 0.000 4.570

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 56 0 0 0 26 0 38

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.32 0.00 0.47

time (sec)

N/A 0.171 6.525 0.000 0.000 0.000 0.645 0.000 4.615

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 105 74 0 0 0 26 0 38

N.S.

1 1.04 0.73 0.00 0.00 0.00 0.26 0.00 0.38

time (sec)

N/A 0.184 7.092 0.000 0.000 0.000 0.786 0.000 4.665

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 109 77 0 0 0 26 0 38

N.S.

1 1.08 0.76 0.00 0.00 0.00 0.26 0.00 0.38

time (sec)

N/A 0.188 7.240 0.000 0.000 0.000 0.999 0.000 4.582

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 110 54 20 0 0 27 0 0

N.S.

1 1.11 0.55 0.20 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.196 5.362 2.117 0.000 0.000 0.497 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 87 49 20 0 0 27 0 0

N.S.

1 1.07 0.60 0.25 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.172 5.376 2.095 0.000 0.000 0.445 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 41 20 0 0 27 0 0

N.S.

1 1.02 0.65 0.32 0.00 0.00 0.43 0.00 0.00

time (sec)

N/A 0.159 5.194 2.093 0.000 0.000 0.452 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 24 18 0 0 26 0 16

N.S.

1 1.00 0.56 0.42 0.00 0.00 0.60 0.00 0.37

time (sec)

N/A 0.148 4.923 2.083 0.000 0.000 0.445 0.000 0.101

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 66 27 20 0 0 29 0 36

N.S.

1 1.05 0.43 0.32 0.00 0.00 0.46 0.00 0.57

time (sec)

N/A 0.163 4.836 10.202 0.000 0.000 0.444 0.000 4.868

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 89 29 20 0 0 32 0 0

N.S.

1 1.07 0.35 0.24 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.178 10.009 2.131 0.000 0.000 0.499 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 112 29 20 0 0 32 0 0

N.S.

1 1.11 0.29 0.20 0.00 0.00 0.32 0.00 0.00

time (sec)

N/A 0.192 10.008 2.138 0.000 0.000 0.535 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 93 54 20 0 0 29 0 0

N.S.

1 1.12 0.65 0.24 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.177 5.227 2.158 0.000 0.000 0.531 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 49 20 0 0 29 0 0

N.S.

1 1.08 0.75 0.31 0.00 0.00 0.45 0.00 0.00

time (sec)

N/A 0.164 4.955 2.149 0.000 0.000 0.454 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 41 20 0 0 29 0 0

N.S.

1 1.00 0.87 0.43 0.00 0.00 0.62 0.00 0.00

time (sec)

N/A 0.149 4.909 2.159 0.000 0.000 0.456 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 24 18 0 0 27 0 16

N.S.

1 1.00 0.86 0.64 0.00 0.00 0.96 0.00 0.57

time (sec)

N/A 0.134 4.902 2.117 0.000 0.000 0.448 0.000 0.095

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 27 20 0 0 31 0 36

N.S.

1 1.00 0.57 0.43 0.00 0.00 0.66 0.00 0.77

time (sec)

N/A 0.149 4.970 2.159 0.000 0.000 0.466 0.000 4.799

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 70 29 20 0 0 34 0 0

N.S.

1 1.04 0.43 0.30 0.00 0.00 0.51 0.00 0.00

time (sec)

N/A 0.163 10.006 2.162 0.000 0.000 0.566 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 93 29 20 0 0 34 0 0

N.S.

1 1.09 0.34 0.24 0.00 0.00 0.40 0.00 0.00

time (sec)

N/A 0.180 10.008 2.177 0.000 0.000 0.609 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 93 54 20 0 0 27 0 0

N.S.

1 1.12 0.65 0.24 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.185 5.556 2.169 0.000 0.000 0.472 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 49 20 0 0 27 0 0

N.S.

1 1.08 0.75 0.31 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.165 5.357 2.143 0.000 0.000 0.494 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 41 20 0 0 27 0 0

N.S.

1 1.00 0.87 0.43 0.00 0.00 0.57 0.00 0.00

time (sec)

N/A 0.146 5.042 2.132 0.000 0.000 0.469 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 24 18 0 0 26 0 16

N.S.

1 1.00 0.89 0.67 0.00 0.00 0.96 0.00 0.59

time (sec)

N/A 0.134 4.880 2.107 0.000 0.000 0.432 0.000 0.084

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 27 20 0 0 29 0 36

N.S.

1 1.00 0.55 0.41 0.00 0.00 0.59 0.00 0.73

time (sec)

N/A 0.148 5.243 7.741 0.000 0.000 0.494 0.000 4.729

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 29 20 0 0 32 0 0

N.S.

1 1.07 0.43 0.30 0.00 0.00 0.48 0.00 0.00

time (sec)

N/A 0.163 10.009 2.158 0.000 0.000 0.537 0.000 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 95 29 20 0 0 32 0 0

N.S.

1 1.12 0.34 0.24 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.182 10.009 2.152 0.000 0.000 0.608 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 93 59 20 0 0 29 0 0

N.S.

1 1.12 0.71 0.24 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.179 5.640 2.179 0.000 0.000 0.496 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 54 20 0 0 29 0 0

N.S.

1 1.08 0.83 0.31 0.00 0.00 0.45 0.00 0.00

time (sec)

N/A 0.169 5.524 2.168 0.000 0.000 0.457 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 20 0 0 29 0 0

N.S.

1 1.00 1.00 0.43 0.00 0.00 0.62 0.00 0.00

time (sec)

N/A 0.150 5.117 2.178 0.000 0.000 0.440 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 18 0 0 27 0 16

N.S.

1 1.00 1.00 0.67 0.00 0.00 1.00 0.00 0.59

time (sec)

N/A 0.134 4.991 2.140 0.000 0.000 0.424 0.000 0.076

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 27 20 0 0 31 0 36

N.S.

1 1.00 0.55 0.41 0.00 0.00 0.63 0.00 0.73

time (sec)

N/A 0.149 5.398 2.172 0.000 0.000 0.504 0.000 4.604

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 29 20 0 0 34 0 0

N.S.

1 1.07 0.43 0.30 0.00 0.00 0.51 0.00 0.00

time (sec)

N/A 0.163 10.014 2.167 0.000 0.000 0.549 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 95 29 20 0 0 34 0 0

N.S.

1 1.12 0.34 0.24 0.00 0.00 0.40 0.00 0.00

time (sec)

N/A 0.187 10.012 2.167 0.000 0.000 0.602 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

258 289 68 42 0 0 29 0 0

N.S.

1 1.12 0.26 0.16 0.00 0.00 0.11 0.00 0.00

time (sec)

N/A 0.321 5.331 2.193 0.000 0.000 0.517 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

240 266 63 42 0 0 29 0 0

N.S.

1 1.11 0.26 0.18 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.307 5.187 2.191 0.000 0.000 0.467 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

222 243 57 42 0 0 29 0 0

N.S.

1 1.09 0.26 0.19 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.282 5.247 2.185 0.000 0.000 0.447 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

199 224 43 40 0 0 27 0 34

N.S.

1 1.13 0.22 0.20 0.00 0.00 0.14 0.00 0.17

time (sec)

N/A 0.269 5.026 2.115 0.000 0.000 0.417 0.000 4.410

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

221 245 46 42 0 0 31 0 36

N.S.

1 1.11 0.21 0.19 0.00 0.00 0.14 0.00 0.16

time (sec)

N/A 0.287 5.050 2.146 0.000 0.000 0.454 0.000 4.550

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

242 268 48 42 0 0 34 0 0

N.S.

1 1.11 0.20 0.17 0.00 0.00 0.14 0.00 0.00

time (sec)

N/A 0.308 10.009 2.194 0.000 0.000 0.519 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

260 291 48 42 0 0 34 0 0

N.S.

1 1.12 0.18 0.16 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.325 10.009 2.208 0.000 0.000 0.597 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 299 68 23 0 0 34 0 0

N.S.

1 1.15 0.26 0.09 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.324 5.242 2.149 0.000 0.000 0.488 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 276 63 23 0 0 34 0 0

N.S.

1 1.14 0.26 0.10 0.00 0.00 0.14 0.00 0.00

time (sec)

N/A 0.300 5.056 2.167 0.000 0.000 0.437 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 253 58 23 0 0 34 0 0

N.S.

1 1.13 0.26 0.10 0.00 0.00 0.15 0.00 0.00

time (sec)

N/A 0.281 4.967 2.138 0.000 0.000 0.425 0.000 0.000

[next] [prev] [prev-tail] [front] [up]